Kantentransitive Graphen und Gruppen vom rang 2

Algorithmik und Komplexität OBDD-repräsentierter Graphen

iv Inhaltsverzeichnis 1 Einleitung 1 1.

Prozessunterstützung für temporäre, ehrenamtliche und private Gruppen

Zusammenfassung Der Bedeutung von Geschäftsprozessen wird in der Dienstorientierung (Service-oriented Computing) durch Lösungen zur Automatisierung und Unterstützung bspw. mit WS-BPEL Rechnung getragen. Da allerdings ehrenamtlichen und privaten Gruppen weder entsprechendes Wissen noch notwendige Softund Hardwareprodukte zur Verfügung stehen, können sie derartige Prozessunterstützungen nicht für...

Wirkungen von Lie Algebren und Lie Gruppen

Conjecture. Let G be a compact Lie group which acts isometrically on a complete Riemannian manifold M , such that this action admits a section: There exists a closed submanifold Σ in M which meets each orbit orthogonally. Then the space Ωhor(M) of all differential forms on M which are invariant under the G-action and are horizontal in the sense that they kill each vector which is tangent to an ...

Meister Eckharts Lehre vom Ursprung und Ziel des Menschen

FG TAV: Bericht und Beiträge vom Fachgruppentreffen vom 12. und 13. Februar 2009 in Dortmund

Die Qualitätssicherung von Software avanciert immer mehr zu einer Kerndisziplin der Softwaretechnik. Dies bedeutet gleichzeitig, dass die Qualitätssicherungstechniken mit der fortschreitenden Weiterentwicklung entsprechender Spezifikationstechniken und Entwicklungssowie Einsatzplattformen Schritt halten müssen. Das 28. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am Donnersta...